derivation of work Energy principle